Ideal (Ringtheorie)

In der abstrakten Algebra ist ein Ideal eine Teilmenge eines Rings, die das Nullelement enthält und abgeschlossen gegenüber Addition und Subtraktion von Elementen des Ideals sowie abgeschlossen gegenüber Multiplikation mit beliebigen Ringelementen ist. Beispielsweise sind Summe und Differenz zweier gerader Zahlen wieder gerade und zudem ist das Produkt einer geraden Zahl mit einer beliebigen ganzen Zahl ebenfalls gerade. Zudem ist die 0 als additiv Neutrales gerade. Das heißt, die Menge der geraden Zahlen ist ein Ideal im Ring der ganzen Zahlen.

Die Bezeichnung „Ideal“ ist abgeleitet aus dem Begriff „ideale Zahl“: Ideale können als Verallgemeinerung von Zahlen angesehen werden.

Das Konzept der Ideale hat seinen Ursprung in der algebraischen Zahlentheorie des 19. Jahrhunderts bei Ernst Eduard Kummer und wurde weiterentwickelt von Richard Dedekind und Leopold Kronecker. Bei David Hilbert war ein Ideal ein System von unendlich vielen ganzen algebraischen Zahlen eines Rationalitätsbereiches (algebraischer Zahlkörper), mit der Eigenschaft, dass auch sämtliche Linearkombinationen dieser (mit ganzen algebraischen Zahlen als Koeffizienten) darin enthalten sind. Diese Definition entspricht dem heutigen Begriff des gebrochenen Ideals.

In der Literatur findet man häufig die Begriffe Linksideal, Rechtsideal und zweiseitiges Ideal. Siehe dazu unten bei den Definitionen.